19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Design for Safety > 321-332
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Design for Safety > 333-343
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods > 187-197
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods > 198-210
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods > 211-226
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Hardware Aspects > 264-274
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Hardware Aspects > 275-285
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Hardware Aspects > 286-293
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Invited Paper > 1-13
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Invited Paper > 227-239
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Invited Paper > 344-360
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Safety Assessment I > 294-308
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Safety Assessment I > 309-320
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Safety Assessment II > 395-405
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Safety Assessment II > 406-419
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Safety Assessment II > 420-429
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Safety Guidelines, Standards and Certification > 240-249
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Safety Guidelines, Standards and Certification > 250-263
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Software Process Improvement > 107-116
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Software Process Improvement > 117-130